Experiencing the UML profile for MARTE in the generation of schedulability analysis models for MAST
نویسنده
چکیده
This short paper presents the design, implementation, and initial results of a tool that extracts from UML models the schedulability analysis data that are necessary for the application of the MAST set of tools on them. The input analysis models represent concurrent, distributed real-time systems that are formalized in UML annotated with the extensions proposed by the UML Profile for MARTE; the OMG standard profile for the modelling and analysis of real-time and embedded systems. The experiences performed with the modelling elements that have been selected to support the underlying analysis methodology have led to the rising of concrete issues, which have been sent to the OMG for the improvement of the standard, and are also briefly described here.
منابع مشابه
High level modeling for Real-time applications with UML & MARTE
This paper shows initial results and the research path in a methodology to use UML & the UML Profile for MARTE in the design of real-time applications. The modeling constructs used are those proposed in the High Level Application Modeling chapter of the MARTE standard. These elements are at a high abstraction level, and hence they need to be complemented with a number of constraints and rules o...
متن کاملThe UML – MARTE Standardized Profile
The UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (also called the UML profile for MARTE, or simply, MARTE) adds capabilities to UML for model-driven development of real-time and embedded systems (RTES). It provides support for specification, design, and verification/validation stages. This new profile replaces the existing UML Profile for Schedulability, Performance a...
متن کاملThe “ UML Profile for Schedulability , Performance and Time ” in the Schedulability Analysis and Modeling of Real - Time Distributed Systems 1
In this paper we address some aspects of the “UML Profile for Schedulability, Performance and Time” (SPT), that have been found to be improvable. In particular, we describe problems and possible solutions related to the usage of the profile in the representation of schedulability analysis models for real-time distributed systems. The issues appear mainly from a comparison between the SPT and th...
متن کاملA Third Blockini El Blockinbased O Organ Onal Confer
There is a growing research activity around the use of metaheuristic search techniques (e.g., genetic algorithms) in software engineering, for example to support test case generation. This is often referred to as search-based software engineering and is the subject of an international conference every year. This presentation will reflect on several years of research, involving several collabora...
متن کاملTime Properties Dedicated Semantics for UML-MARTE Safety Critical Real-Time System Verification
Critical real-time embedded systems (RTES) crucially have strong requirement concerning system’s reliability. UML and its profile MARTE are standardized modeling language that are getting widely accepted by industrial designers to cope with the development of complex RTSE. In Model-driven engineering, verification at early phases of the system lifecycle is an important problem, which remains op...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011